Introduction to the Special Volume on Reformulation
نویسندگان
چکیده
منابع مشابه
Introduction to the Special Volume on Relevance
The article introduces the CAIS special volume on relevance. It provides an overview of how the volume came to be, describes the relevance issue, and indicates the range of opinions expressed.
متن کاملIntroduction to the Special Volume on Globalization and E-Commerce
The ten papers in this special volume of CAIS focus on environmental and policy influences on the diffusion of e-commerce in selected countries in the Americas, Asia-Pacific, and Europe. They are part of a multi-year, multi-country study entitled, “Impacts of Electronic Commerce in the Global Networked Economy: A Multi-Country Study”. [www.crito.uci.edu/GIT/Project3d.asp]
متن کاملGeometric Reasoning and Artificial Intelligence: Introduction to the Special Volume
Geometry plays an important role in our understanding of the world. It is therefore important for Artificial Intelligence (AI) systems to be able to represent and reason about geometry. This special volume presents a formal approach to the representation of geometric concepts in selected AI applications and describes some recent developments in algebraic methods for reasoning about geometry. Ge...
متن کاملEditor’s Introduction to the Special Volume on Application of Constraints to Formal Verification
During the last eight years, tremendous progress was made in the field of Boolean Satisfiability (SAT). Now SAT solvers are 4 to 5 orders of magnitude faster, and can solve formulas that are 4 to 5 orders of magnitude bigger. SAT is the enabling technology for formal verification—the mathematical proof of correctness of computer systems. Statistics from industrial circuit designs indicate that ...
متن کاملIntroduction to the Special Issue on Summarization
As the amount of online information increases, systems that can automatically summarize one or more documents become increasingly desirable. Recent research has investigated types of summaries, methods to create them, and methods to evaluate them. Several evaluation competitions (in the style of NIST’s TREC1) have helped determine baseline performance levels and provide a limited set of trainin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2005
ISSN: 0004-3702
DOI: 10.1016/j.artint.2004.07.001